Univalent constructive algebraic geometry - foundations and formalizations
- Författare
- Stockholms universitet Max Zeuner
- (Max Zeuner., Härtill 4 uppsatser, Diss. (sammanfattning) Stockholm : Stockholms universitet, 2024)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Mathematics, Stockholm University | 2024 | Sverige, Stockholm | 25 sidor illustrationer 24 cm | 978-91-8014-863-4 |